Ontological Support for Consistency Checking of Engineering Design Workflows
نویسندگان
چکیده
In this paper we describe a novel approach for engineering process representation based on the application of formal ontologies. We illustrate components of a framework that comprises domain abstractions, design interfaces and meta-data in the engineering design domain in the form of process-, artefactand task ontologies. A concrete application and use case of the framework components is detailed in order to demonstrate the capabilities for representation of design processes on a high level of abstraction. The realm of Planning is employed to showcase workflow decomposition. We show, how the framework can be applied to perform workflow consistency checking and point out some scenarios where the developed framework can provide support in the task of engineering design analysis and improvement.
منابع مشابه
Czech Technical University in Prague Faculty of Electrical Engineering Department of Cybernetics TEMPLATE - BASED ONTOLOGY
Evolving ontologies by domain experts is difficult and typically cannot be performed without the assistance of an ontology engineer. This process takes a long time and often recurrent modeling errors have to be resolved. This doctoral thesis proposes a technique for creating controlled ontology evolution scenarios that ensure consistency of possible ontology evolutions and give guarantees to th...
متن کاملConsistency Checking for Workflows with an Ontology-Based Data Perspective
Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors detected late can cause high costs. Checking techniques can analyse the control flow of individual tasks as well as the consistency of how data of the workflow is represented, collected and utilized. In many classes of workflows, t...
متن کاملSupporting Process Development in Bio-jETI by Model Checking and Synthesis
Bio-jETI is a platform for the intuitive graphical design and execution of bioinformatics workflows composed from heterogeneous remote services. In this paper we use a simple phylogenetic analysis process to show how formal approaches like model checking and process synthesis can be applied to further support the workflow development in Bio-jETI. To unfold their full potential these methods nee...
متن کاملConsistency and Failure Handling in Electronic Contracts
E-contracts are textual documents describing various contractual assignments/tasksand dependencies among contractual elements such as parties, activities, clauses, exceptions and payments. The dependencies and constraints in e-contract can be differently stated in different parts of large documents. Inconsistencies in the e-contract document, particularly the contract activities and clauses spe...
متن کاملTemporal Consistency of View Based Interorganizational Workflows
Interorganizational workflows are a major step in automating B2B electronic commerce and to support collaborations of organizations on the technical level. Process views are an important conceptual modelling approach for interorganizational workflows as they allow interaction and communication while internal and private parts of the process can be hidden. However, it essential to guarantee that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010